左全域的 (left-total)